221. The unified modeling language : UML'99 : beyond the standard : Second International Workshop, Fort Collins, Co, October 28-30, 1999 : proceedings
پدیدآورنده : Robert France, Bernhard Rumpe )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1723
222. Theory and Practice of Model Transformations
پدیدآورنده : \ Dimitris Kolovos , Manuel Wimmer (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Model-driven software architecture -- Congresses.,Computer software -- Development -- Congresses.,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
9
.
A73T46
2015
E-Book
,
223. Theory and practice of model transformations
پدیدآورنده : Zhenjiang Hu, Juan de Lara (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2012eb
224. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
225. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
226. Theory and practice of model transformations
پدیدآورنده : Richard F. Paige (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2009
227. Tools and algorithms for the construction and analysis of system
پدیدآورنده : / C.R. Ramakrishnan, Jakob Rehof (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
رده :
QA
,
76
.
9
,.
S88
,
T33
,
2008
228. Tools and algorithms for the construction and analysis of systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : System design ; Congresses. ; Computer software ; Development ; Congresses. ;
229. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
230. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده : Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
231. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
232. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
پدیدآورنده : W. Rance Cleaveland )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1579
233. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
پدیدآورنده : Susanne Graf, Michael Schartzbach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1785
234. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده : Bernhard Steffen )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1384
235. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده : Nicolas Halbwachs, Lenore D. Zuck )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3440
236. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
پدیدآورنده : Kurt Jensen, Andreas Podelski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2988
237. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Wang Yi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2031
238. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
پدیدآورنده : Hubert Garavel, John Hatcliff )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
239. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
پدیدآورنده : Joost-Pieter Katoen, Perdita Stevens )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2280
240. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
